Abstract data types

Results: 538



#Item
31Software engineering / Computer programming / Declarative programming / Type theory / Functional programming / Procedural programming languages / Data types / Object-oriented programming / Monad / ALGOL 68 / Polymorphism / Abstract type

A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-08-25 14:30:22
32Stochastic processes / Probability theory / Operations research / Probability / Scheduling algorithms / Queueing theory / Abstract data types / Scheduling / Monitor / Queue / M/G/1 queue / FIFO

Priority Auctions and Queue Disciplines that Depend on Processing Time Thomas Kittsteiner and Benny Moldovanu∗ July 16, 2004 Abstract

Add to Reading List

Source URL: www.econ2.uni-bonn.de

Language: English - Date: 2014-03-26 06:49:17
33Mathematics / Computer programming / Mathematical games / Polyforms / Software engineering / Search algorithms / Mathematical optimization / Data types / Monte Carlo tree search / Pentomino / Genetic algorithm / Tree traversal

UCT for PCG Cameron Browne Imperial College London South Kensington, UK Abstract—This paper describes initial experiments in the use

Add to Reading List

Source URL: eldar.mathstat.uoguelph.ca

Language: English - Date: 2016-07-12 12:05:04
34Type theory / Data types / Software engineering / Object-oriented programming / Computing / Polymorphism / Functional programming / Type system / Subtyping / Symbol / Uniqueness type

Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared,

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-02 06:27:04
35Abstract data types / Search algorithms / Hashing / Arrays / Hash table / Collection / Garbage collection / Sorting algorithm / Ruby / Algorithm / Hash function / Trie

Data Structures and Algorithms with Object-Oriented Design Patterns in Ruby Data Structures and Algorithms with Object-Oriented Design Patterns in Ruby

Add to Reading List

Source URL: www.brpreiss.com

Language: English - Date: 2014-07-08 21:38:40
36Abstract data types / Data types / Object-oriented programming languages / Procedural programming languages / High-level programming languages / Foreach loop / Iterator / Queue / Scala / List / Callback / D

FlowPools: Lock-Free Deterministic Concurrent Dataflow Queues Authors EPFL, Switzerland http://lamp.epfl.ch

Add to Reading List

Source URL: axel22.github.io

Language: English - Date: 2016-08-13 13:11:44
37Abstract data types / Data types / Queue / Stack / List / Pointer / FIFO / Cons / Priority queue / Java collections framework

Microsoft PowerPoint - lecture12_print.ppt

Add to Reading List

Source URL: sicp.csail.mit.edu

Language: English - Date: 2005-10-29 10:35:59
38Type theory / Functional languages / Object-oriented programming languages / Type systems / Data types / Haskell / Structural type system / Duck typing / D / Type signature / OCaml / Abstract type

Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-01-31 23:15:57
39Query languages / Functional languages / XPath / Knowledge representation / Data types / XQuery / XSLT / R-tree / B-tree / Tree / T-tree

XML Subtree Queries: Specification and Composition Michael Benedikt and Irini Fundulaki Bell Labs, Lucent Technologies, USA Abstract. A frequent task encountered in XML processing is to filter an input document to produ

Add to Reading List

Source URL: users.ics.forth.gr

Language: English - Date: 2010-09-29 11:43:00
40Programming language implementation / Compilers / Computer file formats / Dynamic linker / Dynamic loading / Data types / Library / Linker / Relocation / Portable Executable / Loader / Position-independent code

Cheating the ELF Subversive Dynamic Linking to Libraries the grugq Abstract: Development of feature rich Unix parasites has been severely limited by the inability to reliably access functions external to the host file. U

Add to Reading List

Source URL: grugq.github.io

Language: English - Date: 2015-01-27 19:51:39
UPDATE